Gaspar Melchor de Jovellanos · Leandro Fernández de Moratín · Benito J. Feijoo · Carlos III · Jorge Juan y Santacilia · Antonio de Ulloa · Bá tước Floridablanca · Francisco de Goya · Antonio Soler · Félix María de Samaniego · José de Cadalso · Juan Meléndez Valdés · Tomás de Iriarte y Oropesa · Pedro Pablo Abarca de Bolea, Bá tước Aranda

 • Axiology • Tư duy phản biện • Lý thuyết tính toán • Formal semantics • Lịch sử logic • Informal logic • Logic in computer science • Logic toán • Toán học • Metalogic • Metamathematics • Model theory • Logic triết học • Triết học • Philosophy of logic • Triết học của toán học • Proof theory

 • Analytic truth • Antinomy • Tiên nghiệm • Suy diễn logic • Định nghĩa • Description • Lập luận quy nạp • Suy luận • Logical form • Logical consequence • Logical truth • Tên gọi • Necessity • Meaning • Nghịch lý • Possible world • Presupposition • Xác suất • Lý tính • Lý tínhing • Tham khảo • Ngữ nghĩa học • Statement • Strict implication • Substitution • Syntax • Chân lý • Truth value

 • Ambiguity • Luận cứ • Tín ngưỡng • Thiên kiến • Credibility • Evidence • Explanation • Explanatory power • Sự thật • Ngụy biện • Inquiry • Ý kiến • Dao cạo Ockham • Premise • Tuyên truyền • Prudence • Lý tính • Relevance • Tu từ học • Rigor

 • Dialetheism • Fictionalism • Finitism • Formalism • Intuitionism • Logical atomism • Logicism • Chủ nghĩa duy danh • Platonic realism • Chủ nghĩa thực dụng

 • Formation rule • Formal system • Deductive system • Formal proof • Formal semantics • Well-formed formula • Tập hợp • Element • Class • Classical logic • Tiên đề • Natural deduction • Rule of inference • Quan hệ (toán học) • Định lý toán học • Logical consequence • Axiomatic system • Type theory • Symbol • Syntax

 • Inference • Luận cứ logic • Validity • Cogency • Tam đoạn luận • Square of opposition

 • Propositional calculus • Propositional formula • Logical connectives

 • Quantifiers • Predicate • Second-order

 • Tập hợp rỗng • Enumeration • Extensionality • Finite set • Hàm số • Tập hợp con • Tập lũy thừa • Tập hợp đếm được • Recursive set • Tập xác định • Range • Ordered pair

 • Interpretation • Non-standard model • Finite model theory • Truth value

 • Deductive system • Formal system • Định lý toán học • Logical consequence • Rule of inference

 • Recursive set • Recursively enumerable set • Decision problem • Church–Turing thesis • Computable function

 • Axiologic • Deontic • Doxastic • Epistemic

 • Constructive analysis • Heyting arithmetic • Intuitionistic type theory

 • Fuzzy rule • Tập mờ • Fuzzy finite element

 • Relevance logic

 • Mathematical logic • Boolean algebra

 • Rules of inference • Paradoxes • Fallacies